//]]>
Log in to Your Account
Search history
[
x
]
Library of American University of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Your search returned 2 results.
Relevance
Popularity (Most to Least)
Popularity (Least to Most)
Author (A-Z)
Author (Z-A)
Call Number (0-9 to A-Z)
Call Number (Z-A to 9-0)
Publication/Copyright Date: Newest to Oldest
Publication/Copyright Date: Oldest to Newest
Acquisition Date: Newest to Oldest
Acquisition Date: Oldest to Newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Software specification methods /
Publication:
London : ISTE Ltd, 2006 . xxv, 418 p. : 25 cm.
Date:
2006
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Formal method : industrial use from model to the code /
Publication:
London : ISTE, 2012 . xv, 357 p. : 24 cm.
Date:
2012
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Boulanger, Jean-Loui...
Frappier, Marc,
Habrias, Henri.
Libraries
AUM Main Library
Series
Industrial implement...
Topics
Application software
Computer software
Formal methods (Comp...
Railroads
Languages:
English |
العربية
